Section: New Software and Platforms

Arml

ARM to RML translator

Keywords: Binary translation - ARM - RML

Functional Description: ArmL is an ARM to RML translator tool. ArmL tool takes as input an ARM executable binary, it produces as output a RML model.

• Contact: Nisrine Jafri